Bjarne Stroustrup

Results: 106



#Item
71Programming language implementation / Procedural programming languages / Functional languages / Cross-platform software / Type theory / C / Preprocessor / Domain-specific language / Programming language / Computing / Software engineering / Computer programming

A rationale for semantically enhanced library languages Bjarne Stroustrup Department of Computer Science Texas A&M University College station, TX[removed]and AT&T Labs – Research

Add to Reading List

Source URL: www.stroustrup.com

Language: English - Date: 2012-10-03 14:24:44
72Data types / Object-oriented programming / C++ / Concurrency control / Threads / Smart pointer / Lock / Reference / Garbage collection / Computing / Software engineering / Computer programming

Using ownership types to support library aliasing boundaries Luke Wagner Jaakko J¨arvi Bjarne Stroustrup

Add to Reading List

Source URL: people.dsv.su.se

Language: English - Date: 2007-07-22 07:49:55
73Software engineering / Compare-and-swap / Software transactional memory / Linearizability / Non-blocking algorithm / Pointer / ABA problem / Load-link/store-conditional / Garbage collection / Concurrency control / Computing / Data management

Scalable Nonblocking Concurrent Objects for Mission Critical Code Damian Dechev Bjarne Stroustrup

Add to Reading List

Source URL: www.stroustrup.com

Language: English - Date: 2012-10-03 14:24:49
74Formal methods / Concurrent computing / Concurrency control / Compiler optimizations / Logic in computer science / Parallel computing / Concurrent data structure / Actor model / Automatic parallelization / Computing / Theoretical computer science / Software engineering

Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 [removed], [removed], peter.pirkel

Add to Reading List

Source URL: www.stroustrup.com

Language: English - Date: 2012-10-03 14:24:45
75C++ / Concepts / Iterator / Generic programming / Associative containers / C++11 / Template / Set / Sequence container / Software engineering / Computing / Computer programming

Specifying C++ Concepts Gabriel Dos Reis Bjarne Stroustrup Texas A&M University

Add to Reading List

Source URL: www.stroustrup.com

Language: English - Date: 2012-10-03 14:24:50
76Cross-platform software / Procedural programming languages / Data types / Type theory / Compiler construction / C++ / C / Type system / Generic programming / Software engineering / Computing / Computer programming

Supporting SELL for High-Performance Computing Bjarne Stroustrup and Gabriel Dos Reis Department of Computer Science Texas A&M University College Station, TX[removed]

Add to Reading List

Source URL: www.stroustrup.com

Language: English - Date: 2012-10-03 14:24:44
77Computer programming / Software transactional memory / Compare-and-swap / Non-blocking algorithm / Linearizability / Lock / Pointer / Hazard pointer / Parallel computing / Concurrency control / Computing / Software engineering

Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software Damian Dechev Bjarne Stroustrup

Add to Reading List

Source URL: www.stroustrup.com

Language: English - Date: 2012-10-03 14:24:52
78Cross-platform software / C programming language / Procedural programming languages / C++ / Bjarne Stroustrup / Douglas McIlroy / Brian Kernighan / C / Programming language / Computing / Software engineering / Computer programming

Preface He who does not plow, must write. – Martin A. Hansen The ACM HOPL-2 conference on the History of Programming Languages asked me

Add to Reading List

Source URL: www.stroustrup.com

Language: English - Date: 2012-10-03 14:24:46
UPDATE